- automatic checking machine
- контрольный автомат
Англо-русский словарь по машиностроению. 2014.
automatic checking machine
Смотреть что такое "automatic checking machine" в других словарях:
automatic checking machine — tikrinimo automatas statusas T sritis automatika atitikmenys: angl. automatic checking machine vok. Kontrollautomat, m rus. контрольный автомат, m pranc. automate de contrôle, m … Automatikos terminų žodynas
Machine translation — Part of a series on Translation Types Language interpretation … Wikipedia
Automated teller machine — cash machine redirects here. For the Hard Fi song, see Cash Machine. An NCR Personas 75 Series interior, multi function ATM in the United States … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Automated Teller Machine Communication Security — Automated Teller Machines were first used in 1939. Nowadays, about 1.5 million are installed worldwide [ [http://www.atmmarketplace.com/news story 24706.htm Number of ATMs worldwide expected to hit 1.5 million in December 2005] www.atmmarketplace … Wikipedia
Vickers-Maxim automatic machine gun — Vick ers Max im automatic machine gun An automatic machine gun in which the mechanism is worked by the recoil, assisted by the pressure of gases from the muzzle, which expand in a gas chamber against a disk attached to the end of the barrel, thus … The Collaborative International Dictionary of English
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Transmission Voie-Machine — (TVM), or track to train transmission , is a form of in cab signalling used on lignes à grande vitesse (high speed railway lines based on the French TGV system) that differs considerably from signalling on conventional railway lines. Because TGV… … Wikipedia
Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… … Wikipedia
Electronic Delay Storage Automatic Calculator — (EDSAC) was an early British computer. The machine, having been inspired by John von Neumann s seminal First Draft of a Report on the EDVAC , was constructed by Maurice Wilkes and his team at the University of Cambridge Mathematical Laboratory in … Wikipedia
